#include "rngs.h"

// generate a random double
double getRandomDouble()
{
	SelectStream(0);                  /* select the default stream */
	PutSeed(1);                       /* and set the state to 1    */
	double r = Random() * 10;
	if(r < 0)
		r = getRandomDouble();
	return r;
}
